Addressing the Qualification Problem in FLUX
نویسندگان
چکیده
The Qualification Problem arises for planning agents in realworld environments, where unexpected circumstances may at any time prevent the successful performance of an action. We present a logic programming method to cope with the Qualification Problem in the action programming language Flux, which builds on the Fluent Calculus as a solution to the fundamental Frame Problem. Our system allows to plan under the default assumption that actions succeed as they normally do, and to reason about these assumptions in order to recover from unexpected action failures.
منابع مشابه
Overview of the validation procedures for a vaccine production: from R&D level to the pre-qualification stage
Just like any other process, vaccine manufacturing procedures are defined as a series of interrelated functions and activities using a variety of specified actions and equipment designed to produce a defined product. To assure the reproducibility and consistency of such processes, they must be carried out using validated equipment and under the established procedures that meet all the acceptanc...
متن کاملکنترل بهینة شار حرارتی سطحی در یک جسم دوبعدی با خواص وابسته به دما
In this paper the optimal control of boundary heat flux in a 2-D solid body with an arbitrary shape is performed in order to achieve the desired temperature distribution at a given time interval. The boundary of the body is subdivided into a number of components. On each component a time-dependent heat flux is applied which is independent of the others. Since the thermophysical properties are t...
متن کاملBoundedness of KKT Multipliers in fractional programming problem using convexificators
‎In this paper, using the idea of convexificators, we study boundedness and nonemptiness of Lagrange multipliers satisfying the first order necessary conditions. We consider a class of nons- mooth fractional programming problems with equality, inequality constraints and an arbitrary set constraint. Within this context, define generalized Mangasarian-Fromovitz constraint qualification and sh...
متن کاملProject Manager Competency Model based on ANP Method in Construction Projects
Most developed countries have already accepted‘’ Competency’’ as the major factor in making management more competitive, therefore they have discovered the importance of Qualification Models and their application to cause human resources growth. Consequently, their aim is to improve the qualification of their human resources, and to reach this end, considering different ways of assessing compet...
متن کاملAddressing the Freight Consolidation and Containerization Problem by Recent and Hybridized Meta-heuristic Algorithms
Nowadays, in global free market, third-party logistics providers (3PLs) are becoming increasingly important. Hence, this study aims to develop the freight consolidation and containerization problem, which consists of loading items into containers and then shipping these containers to different warehouse they are delivered to their final destinations. In order to handle the proposed problem, thi...
متن کامل